Nuprl Definition : ma-state
11,40
postcript
pdf
ma-state(
ds
) ==
x
:Id
fpf-cap(
ds
; id-deq;
x
; top)
latex
Definitions
x
:
A
B
(
x
)
,
Id
,
fpf-cap(
f
;
eq
;
x
;
z
)
,
id-deq
,
top
FDL editor aliases
ma-state, s-state
origin
fpf-cap(ds; id-deq; x; top) fpf-cap(ds; id-deq; x; top) B(x)